Reciggning in the Presence of Inconsistency
نویسنده
چکیده
In this paper, we propose a logic which is nontrivial in the presence of inconsistency. The logic is based on the resolution principle and coincides with the classical logic when premises are consistent. Some results of interesting to Automated Theorem Proving are a sound and sometimes complete three-valued semantics for the resolution rule and a refutation process which is much in the spirit of the problem reduction format.
منابع مشابه
Alternative Conditions to Time Inconsistency Equilibrium of an International Monetary Policy
Monetary policy rule is an approach to avoid time inconsistency problem as regarded by new classical economist to choose a time plan for policy making in order to maximize householdsâ well-being. The foundation of time inconsistency problem is not coincidence of expectations as an ex-ante variable, which is expected variable, with actual variable as an ex-post variable. Expectations in Finn K...
متن کاملtransaction cost and Time inconsistency in consumption- Savings behavior(experimental approach)
Empirical and experimental studies demonstrate that the rates of time preferences are smaller in long run in comparison with that of short run. In other word individuals are present bias; and it is one of the reasons that the saving is less than its optimal level. The aim of this study is to examine if the dearth of sufficient information results in time inconsistency in individual decisions fo...
متن کاملPolicy Time-Inconsistency: A Comparison of Managed Floating Exchange Rate and Controlled Exchange Rate Regimes
Some empirical and theoretical studies have emphasized on fixed exchange rate regime in controlling time inconsistency, while others consider the role of target zone regime as an important factor. Thus there is no general consensus to decide which exchange rate regime may bring about less time-inconsistency. The main purpose of this study is to investigate policy time-inconsistency in exchange ...
متن کاملInflation Bias, Time Inconsistency of Monetary and Fiscal Policies and Institutional Quality
In developing countries, weak institutional quality can increase the probability of applying discretionary policies and can have a great impact on their double-digit inflation. Surico (2008) calculated inflation bias, but he considered just monetary policy and he did not pay attention to the institutions. Therefore, we design a model which considers the discretion in monetary and fiscal policie...
متن کاملThe theory of "developmental and coordinated legal structure for the formulation of criteria for Iran's urban development plans"
Objectives and contexts: The research started with the concern that "urban planning laws, especially the rules of urban development plans, are not effective". By studying the conducted researches, it was found that urban plans have inefficiencies from the legal and regulatory aspect. The root of some of these inefficiencies is in the "legal structure and laws". Therefore, the aim is to obtain a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999